Propositional proof system

#	Item
21	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2008-01-04 17:28:09 Computability theory Logic in computer science Proof theory Computational complexity theory Propositional proof system Decision problem ACC0 First-order logic Reverse mathematics Theoretical computer science Mathematical logic Mathematics
22	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics